[XEN][POWERPC] do not set d->tot_pages, but check it.

Signed-off-by: Jimi Xenidis <jimix@watson.ibm.com>
Signed-off-by: Hollis Blanchard <hollisb@us.ibm.com>

diff --git a/xen/arch/powerpc/domain_build.c b/xen/arch/powerpc/domain_build.c
index f05cd55cc15f3645ccb3403501319aed19bc55c5..7858cb3c508b5f797250ab0faaef3d36eab96135 100644 (file)
--- a/xen/arch/powerpc/domain_build.c
+++ b/xen/arch/powerpc/domain_build.c
@@ -163,12 +163,10 @@ int construct_dom0(struct domain *d,
     }
 
     /* make sure we are at least as big as the RMA */
-    if (dom0_nrpages < rma_nrpages)
-        dom0_nrpages = rma_nrpages;
-    else
+    if (dom0_nrpages > rma_nrpages)
         dom0_nrpages = allocate_extents(d, dom0_nrpages, rma_nrpages);
 
-    d->tot_pages = dom0_nrpages;
+    ASSERT(d->tot_pages == dom0_nrpages);
     ASSERT(d->tot_pages >= rma_nrpages);
 
     if (opt_dom0_shadow == 0) {